Chu connections and back diagonals between $\mathcal{Q}$-distributors
نویسندگان
چکیده
Chu connections and back diagonals are introduced as morphisms for distributors between categories enriched in a small quantaloid Q. These constructions, meaningful for closed bicategories, are dual to that of arrow categories and the Freyd completion of categories. It is shown that, for a small quantaloid Q, the category of complete Q-categories and left adjoints is a retract of the dual of the category of Q-distributors and Chu connections, and it is dually equivalent to the category of Q-distributors and back diagonals. As an application of Chu connections, a postulation of the intuitive idea of reduction of formal contexts in the theory of formal concept analysis is presented, and a characterization of reducts of formal contexts is obtained.
منابع مشابه
Chu connections and back diagonals between Q-distributors
Chu connections and back diagonals are introduced as morphisms for distributors between categories enriched in a small quantaloid Q. These notions, meaningful for closed bicategories, dualize the constructions of arrow categories and the Freyd completion of categories. It is shown that, for a small quantaloid Q, the category of complete Q-categories and left adjoints is a retract of the dual of...
متن کاملLimits and Colimits of Quantaloid-enriched Categories and Their Distributors
It is shown that, for a small quantaloid Q, the category of small Q-categories and Q-functors is total and cototal, and so is the category of Q-distributors and Q-Chu transforms.
متن کاملModal $\mathrm{I}\mathrm{n}\mathrm{t}\mathrm{u}\mathrm{i}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}\tilde{\mathrm{l}}\mathrm{s}\mathrm{t}\mathrm{i}\mathrm{C}$ Logics and Predicate Superintuitionistic Logics: $\mathrm{C}_{0\Gamma \mathrm{r}\mathrm{e}..\mathrm{S}},\mathrm{p}$
In this note we deal with intuitionistic modal logics over $\mathcal{M}\mathcal{I}PC$ and predicate superintuitionistic logics. We study the correspondence between the lattice of all (normal) extensions of MTPC and the lattice of all predicate superintuitionistic logics. Let $\mathrm{L}_{Prop}$ denote a propositional language which contains two modal operators $\square$ and $\mathrm{O}$ , and $...
متن کاملThe Relationship between Range of the ankle motion, Q angle and back stroke kicking on male Swimmers
The purpose of this research is to survey the relationship between range of the ankle motion and Q angle and back stroke kicking on male swimmers. 34 on available boy students swimmers were selected with mean and SD of age 23.68±2.28 years, weight 71.88±9.35 kg and height 176.11±5.52 cm in this study. First, Right and Left Leg Q angles (to supine position), Range of Dorsal flexion and plan...
متن کاملPhaseless Reconstruction from Space-Time Samples
Phaseless reconstruction from space-time samples is a nonlinear problem of recovering a function $x$ in a Hilbert space $\mathcal{H}$ from the modulus of linear measurements $\{\lvert \langle x, \phi_i\rangle \rvert$, $ \ldots$, $\lvert \langle A^{L_i}x, \phi_i \rangle \rvert : i \in\mathscr I\}$, where $\{\phi_i; i \in\mathscr I\}\subset \mathcal{H}$ is a set of functionals on $\mathcal{H}$, a...
متن کامل